﻿div.span1  { color: #aaa; }
pre { min-height: 400px; white-space: pre-line; }
